logic programming

1. Complexity of business logic programming.
   业务逻辑编程的复杂性。
2. The popular approaches are introduced and summarized, especially model checking based method, theorem proving based method, logic programming based method and so on.
   以计算逻辑为基础，介绍了定理机器证明中一种新的启发式方法&波动方法，它是一种在证明中通过处理归纳结论来激活归纳假设的策略。
3. The Design and Research of Policy Analysis System Based on Logic Programming
   基于逻辑编程的安全策略分析系统设计及其关键技术研究
4. Genetic Inductive Logic Programming Based on Bit-string Encoding
   基于位串编码的遗传归纳逻辑程序设计
5. General logic programming is an important knowledge representation tool, and is an area of nonmonotonic reasoning.
   一般逻辑程序是知识表示的重要工具，也是非单调推理研究的领域之一。
6. Logic Programming Based Formal Analysis Method of Firewall Rules
   一种基于逻辑编程的防火墙规则形式化分析方法
7. Formal Semantics of Framed Temporal Logic Programming Language MSVL
   框架时序逻辑程序语言MSVL的形式语义
8. The Declarative Semantics of Logic Programming Language G(?) del
   逻辑程序设计语言G（？）del的说明性语义
9. This paper proposes a new approach to constraint inductive logic programming.
   提出了一种新的约束归纳逻辑程序设计方法，并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。
10. The inference mechanism is a key technology in AI and Logic Programming.
    推理机制是人工智能及逻辑程序设计的关键技术。
11. Research on Data-flow Parallel Computation Model for Logic Programming Language
    逻辑程序设计语言的数据流并行计算模型研究
12. Research on Event Mechanism of Variables in Constraint Logic Programming System
    约束逻辑程序设计系统的变量事件机制研究
13. Support-Pair Theory-The Foundation of Fuzzy Logic Programming Language
    支持对理论&模糊逻辑程序设计语言的基础
14. After we discuss the problems of the existed solving methods, we show the neatness of the non-monotonic reasoning and logic programming system GKD NMRS.
    在综述了已有的解决方案所存在的问题后，指出了非单调的推理与逻辑程序设计系统GKD&NMRS在描述和解决框架问题上的简洁性和直观性。
15. This paper creates a frame system by using list processing of logic programming language Prolog, and designs a frame-based knowledge base management system which can be self-defined and self-maintained in many ways.
    本文用Prolog逻辑程序设计语言的表处理技术实现了框架系统，设计出一个基于框架的可自定义并可多途径自行维护的知识库管理系统。
16. Research on inductive logic programming based learning method and its realization
    基于归纳逻辑程序设计的学习方法及其实现的研究
17. Based on the Spi calculus and the logic programming rules, a new technique is presented to verify cryptographic protocols.
    基于逻辑编程规则及Spi演算提出了一种验证密码协议安全性的新方法，利用该方法可以对密码协议的安全性质以程序化的方式进行验证。
18. BPU-SPAR provides the framework in which a parallel CLP ( Constraint Logic Programming) system is being developed.
    BPU-SPAR是我们目前正在研制的并行约束逻辑程序设计系统的基础设施。
19. It is now really a parallel logic programming language which can execute on microcomputers in our country.
    它是国内目前真正能在微型计算机上运行的一门并行逻辑程序设计语言。
20. CCS: A New Parallel Execution Model for Logic Programming Languages
    CCS：一个新的逻辑式程序设计语言的并行执行模型
21. A practical parallel logic programming environment on SUN workstation-PARLOG sequential compiling system ( PSCS) is presented with a description of PARLOG semantics, AND/ OR tree computational model and a process scheduling algorithm.
    从PARLOG的语义描述出发.结合与／或树计算模型及进程调度算法.介绍了SUN工作站上设计实现的一个实用的并行逻辑设计环境&PARLOG顺序编译系统（PSCS）。
22. In this paper, we briefly summarize the applications of deductive logic in knowledge engineering, and analyse the limits of it in knowledge representation, reasoning, problem solving, logic programming and as the specification language and analysis tool of expert systems.
    本文简要归纳了演绎逻辑在知识工程中的作用，着重分析了演绎逻辑在知识表达、推理、问题求解、逻辑程序设计等方面以及作为专家系统说明语言与分析工具的局限性。
23. Here, the theory and process of extended constraint logic programming are introduced, which broke normal closed system structure and built an open system with UML in software engineering.
    这里在解释了约束逻辑程序设计的原理和过程基础上，打破封闭式约束逻辑程序设计系统，从软件工程上采用统一建模语言，提出一种新的开放的可扩展型约束逻辑程序设计结构系统。
24. Constraint logic programming, which integrates consistency algorithm and heuristic search algorithm and adopts constraint reasoning, can deal with various conflicts very well and quickly get one reasonable solution.
    约束逻辑程序设计综合了人工智能中一致性算法和启发式搜索算法，采用约束推理方法，能非常好地处理各种冲突，并且能快速地排出合理的课程。
25. Constraint logic programming is one important part of artificial intelligence and can solve constraint problems such as optimization and scheduling.
    约束推理是人工智能中主要组成部分之一，可以解决实际优化调度和规划过程中的约束求解问题。
26. Linear Logic Programming: Theory and Applications
    线性逻辑式程序设计：理论与应用
27. Research on Logic Programming and Databases
    逻辑程序与数据库研究
28. On optimal problems in inductive logic programming
    归纳逻辑程序设计中的优化问题研究
29. The Effects of Logic Programming on Software Development
    逻辑程序设计对软件开发的影响
30. Propose Logic Programming based action representation and reasoning support.
    提出了基于逻辑程序设计的DDL动作表示和推理支持。

noun

1. creating a program that enables the computer to reason logically

   Synonym:    logic programing

2. a computer language designed in Europe to support natural language processing

   Synonym:    Prologlogic programing